Computation and Reasoning

Reasoning about Staged Computation

Monoidal Categories, Graphical Reasoning, and Quantum Computation

Graphs provide a natural mechanism for visualising many algebraic systems. They are particularly useful for describing algebras in a monoidal category, such as frobenius algebras and bialgebras, which play a vital role in quantum computation. In this context, terms in the algebra are represented as graphs, and algebraic identities as graph rewrite rules. To describe the theory of a more powerfu...

Toward Eecient Default Reasoning Computation and Nonmonotonicity

Early work on default reasoning aimed to formalize the notion of quickly \jumping to conclusions". Unfortunately , the resulting formalisms have proven more computationally complex than classical logics. This has dramatically limited the applicability of formal methods to real problems involving defaults. The complexity of consistency checking is one of the two problems that must be addressed t...

Computation and Reasoning in Automating Control Design

I describe how intelligent scientific computing techniques are used in automating the difficult task of analyzing and synthesizing complex control systems. My research has developed a novel design methodology for the synthesis of automatic controllers, together with a suite of computational tools that automatically analyze and design controllers for high-performance, global control of nonlinear...

Compact Game Representations: Reasoning and Computation

A proliferation of compact representation schemes have been been proposed for various classes of games, along with efficient computations of solution concepts on such representations. The two main schemes have been Graphical games [7] and Multi-agent Influence Diagrams [14]. However, various other representations exist such as Game Networks [13] and Action-Graph Games [2]. This work will presen...